A Resource-Based Prioritized Bisimulation for Real-Time Systems
نویسندگان
چکیده
منابع مشابه
A Resource-Based Prioritized Bisimulation for Real-Time Systems
The behavior of concurrent, real-time systems can be specified using a process algebra called CCSR. The underlying computation model of CCSR is resource-based, in which multiple resources execute synchronously, while processes assigned to the same resource are interleaved according to their priorities. CCSR allows the algebraic specification of timeouts, interrupts, periodic behaviors and excep...
متن کاملA Prioritized Cache for Multi- tasking Real-time Systems
In this paper, we present a new prioritized cache which can reduce the Worst Case Cache Miss Rate (WCCMR) of an application in a multi-tasking environment. The Worst Case Execution Ti me (WCET) can be estimated more precisely when the cache miss rate has a stable and low upper bound. An experiment in which a MPEG decoder and a Mobile Robot (MR) control program are executed alternatively shows t...
متن کاملReal-Time Resource Allocation for Tracking Systems
Automated tracking is key to many computer vision applications. However, many tracking systems struggle to perform in real-time due to the high computational cost of detecting people, especially in ultra high resolution images. We propose a new algorithm called PartiMax that greatly reduces this cost by applying the person detector only to the relevant parts of the image. PartiMax exploits info...
متن کاملReal - time Prioritized Call Admission
With the deployment of packetized wireless networks, the need for Quality of Service is becoming increasingly important. In order for QoS to be implemented and eeciently supported, a number of key areas in wired/wireless integration need to be addressed. One key issue is the call admission policy for the base station sched-uler. In this paper we provide a call admission control policy that is d...
متن کاملSupervisory Control of Real-Time Systems Using Prioritized Synchronization
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible timed traces of the system. This is alternatively specified using timed automata where each transition is associated with an event occurrence time set during which time the transition can occur. Our model for time is more ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1994
ISSN: 0890-5401
DOI: 10.1006/inco.1994.1066